This volume has 41 chapters written to honor the 100th birthday of Mario Bunge. It celebrates the work of this influential Argentine/Canadian physicist and philosopher. Contributions show the value of Bunge’s science-informed philosophy and his systematic approach to philosophical problems. The chapters explore the exceptionally wide spectrum of Bunge’s contributions to: metaphysics, methodology and philosophy of science, philosophy of mathematics, philosophy of physics, philosophy of psychology, philosophy of social science, philosophy of biology, philosophy of technology, moral philosophy, social and political (...) philosophy, medical philosophy, and education. The contributors include scholars from 16 countries. Bunge combines ontological realism with epistemological fallibilism. He believes that science provides the best and most warranted knowledge of the natural and social world, and that such knowledge is the only sound basis for moral decision making and social and political reform. Bunge argues for the unity of knowledge. In his eyes, science and philosophy constitute a fruitful and necessary partnership. Readers will discover the wisdom of this approach and will gain insight into the utility of cross-disciplinary scholarship. This anthology will appeal to researchers, students, and teachers in philosophy of science, social science, and liberal education programmes. 1. Introduction Section I. An Academic Vocation Section II. Philosophy Section III. Physics and Philosophy of Physics Section IV. Cognitive Science and Philosophy of Mind Section V. Sociology and Social Theory Section VI. Ethics and Political Philosophy Section VII. Biology and Philosophy of Biology Section VIII. Mathematics Section IX. Education Section X. Varia Section XI. Bibliography. (shrink)

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...) compromete inadvertidamente con un empirismo de este tipo y, de este modo, su interpretación entra en tensión con el coherentismo de Davidson. Finalmente, discuto algunos aspectos de la interpretación que hace Duica de la tesis davidsoniana de la triangulación. In this short comment I discuss some aspects of William Duica's interpretation of Davidson's epistemology in a recent book. After a brief review of the book, I focus on three central issues of Duica's interpretation. First, I argue that his reading of Davidson's criticism of the scheme/content dualism is too restrictive and leaves open the possibility of an empiricist direct realism. Second, I argue in his reading Duica inadvertently commits himself to an empiricism of this sort and, as a result, his interpretation is in tension with Davidson's own coherentism. Finally, I discuss some aspects of Duica's interpretation of Davidsonian triangulation. (shrink)

Many people believe that only humans have the cognitive and behavioral capacities needed for suicidal behavior, such as reflexive subjectivity, free will, intentionality, or awareness of death. Three counterarguments — based on (i) negative emotions and psychopathologies among nonhuman animals, (ii) the nature of self-destructive behavior, and (iii) the problem of model fidelity in suicide research — suggest that self-destructive and self-injurious behaviors among human and nonhuman animals vary along a continuum.

In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1 In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the λ–definable functions. But, quickly realizing that the diagonalization cannot (...) be done effectively, I became overnight a supporter of the thesis. (1981, p. 59) The title of our paper alludes to this very work, a task on which Kleene claims to have set out after hearing such a remarkable statement from Church, who was his teacher at the time. There are quite a few points made in this extract that may be surprising. First, it talks about a proof by diagonalization in order to test—in fact to try to falsify—a hypothesis that is not strictly formal. Second, it states that such a proof or diagonal construction fails. Third, it seems to use the failure as a support for the thesis. Finally, the episode we have just described took place at a time, autumn 1933, in which many of the results that characterize Computability Theory had not yet materialized. The aim of this paper is to show that Church and Kleene discovered a way to block a very particular instance of a diagonal construction: one that is closely related to the content of Church's thesis. We will start by analysing the logical structure of a diagonal construction. Then we will introduce the historical context in order to analyse the reasons that might have led Kleene to think that the failure of this very specific diagonal proof could support the thesis. This is a joint paper. We have both attempted to add a small piece to an amazing historical jigsaw puzzle at a juncture we feel to be appropiate. In the paper by Manzano 1997 the aforementioned words by Kleene were quoted, and since then several logicians, Enrique Alonso first and foremost, have questioned her on this issue. Here we both submit our reply. (1999, pp. 249--273). (shrink)

We say that $\mathcal {I}$ is an ideal independent family if no element of ${\mathcal {I}}$ is a subset mod finite of a union of finitely many other elements of ${\mathcal {I}}.$ We will show that the minimum size of a maximal ideal independent family is consistently bigger than both $\mathfrak {d}$ and $\mathfrak {u},$ this answers a question of Donald Monk.

Let ${\cal I}$ be an ideal on ω. By cov${}_{}^{\rm{*}}$ we denote the least size of a family ${\cal B} \subseteq {\cal I}$ such that for every infinite $X \in {\cal I}$ there is $B \in {\cal B}$ for which $B\mathop \cap \nolimits X$ is infinite. We say that an AD family ${\cal A} \subseteq {\cal I}$ is a MAD family restricted to${\cal I}$ if for every infinite $X \in {\cal I}$ there is $A \in {\cal A}$ such that $|X\mathop (...) \cap \nolimits A| = \omega$. Let a$\left$ be the least size of an infinite MAD family restricted to ${\cal I}$. We prove that If $max${a,cov${}_{}^{\rm{*}}\}$ then a$\left = {\omega _1}$, and consequently, if ${\cal I}$ is tall and $\le {\omega _2}$ then a$\left = max$ {a,cov${}_{}^{\rm{*}}\}$. We use these results to prove that if c$\le {\omega _2}$ then o$= \overline o$ and that as$= max${a,non$\}$. We also analyze the problem whether it is consistent with the negation of CH that every AD family of size ω1 can be extended to a MAD family of size ω1. (shrink)

This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)

The main topics of this thesis are cardinal invariants, P -points and MAD families. Cardinal invariants of the continuum are cardinal numbers that are bigger than $\aleph _{0}$ and smaller or equal than $\mathfrak {c}.$ Of course, they are only interesting when they have some combinatorial or topological definition. An almost disjoint family is a family of infinite subsets of $\omega $ such that the intersection of any two of its elements is finite. A MAD family is a maximal almost (...) disjoint family. An ultrafilter $\mathcal {U}$ on $\omega $ is called a P-point if every countable $\mathcal {B\subseteq U}$ there is $X\in $ $\mathcal {U}$ such that $X\setminus B$ is finite for every $B\in \mathcal {B}.$ This kind of ultrafilters has been extensively studied, however there is still a large number of open questions about them.In the preliminaries we recall the principal properties of filters, ultrafilters, ideals, MAD families and cardinal invariants of the continuum. We present the construction of Shelah, Mildenberger, Raghavan, and Steprāns of a completely separable MAD family under $\mathfrak {s\leq a}.$ None of the results in this chapter are due to the author.The second chapter is dedicated to a principle of Sierpiński. The principle $\left $ of Sierpiński is the following statement: There is a family of functions $\left \{ \varphi _{n}:\omega _{1}\longrightarrow \omega _{1}\mid n\in \omega \right \} $ such that for every $I\in \left [ \omega _{1}\right ] ^{\omega _{1}}$ there is $n\in \omega $ for which $\varphi _{n}\left [ I\right ] =\omega _{1}.$ This principle was recently studied by Arnie Miller. He showed that this principle is equivalent to the following statement: There is a set $X=\left \{ f_{\alpha }\mid \alpha \alpha $ then $f_{\beta }\cap g$ is infinite. Miller showed that the principle of Sierpiński implies that non $\left =\omega _{1}.$ He asked if the converse was true, i.e., does non $\left =\omega _{1}$ imply the principle $\left $ of Sierpiński? We answer his question affirmatively. In other words, we show that non $\left =\omega _{1}$ is enough to construct an $\mathcal {IE}$ -Luzin set. It is not hard to see that the $\mathcal {IE}$ -Luzin set we constructed is meager. This is no coincidence, because with the aid of an inaccessible cardinal, we construct a model where non $\left =\omega _{1}$ and every $\mathcal {IE}$ -Luzin set is meager.The third chapter is dedicated to a conjecture of Hrušák. Michael Hrušák conjectured the following: Every Borel cardinal invariant is either at most non $\left $ or at least cov $\left $. Although the veracity of this conjecture is still an open problem, we were able to obtain some partial results: The conjecture is false for “Borel invariants of $\omega _{1}^{\omega }$ ” nevertheless, it is true for a large class of definable invariants. This is part of a joint work with Michael Hrušák and Jindřich Zapletal.In the fourth chapter we present a survey on destructibility of ideals and MAD families. We prove several classic theorems, but we also prove some new results. For example, we show that every almost disjoint family of size less than $\mathfrak {c}$ can be extended to a Cohen indestructible MAD family is equivalent to $\mathfrak {b=c}$. A MAD family $\mathcal {A}$ is Shelah–Steprāns if for every $X\subseteq \left [ \omega \right ] ^{<\omega }\setminus \left \{ \emptyset \right \} $ either there is $A\in \mathcal {I}\left $ such that $s\cap A\neq \emptyset $ for every $s\in X$ or there is $B\in \mathcal {I}\left $ that contains infinitely many elements of X $ denotes the ideal generated by $\mathcal {A}$ ). This concept was introduced by Raghavan which is connected to the notion of “strongly separable” introduced by Shelah and Steprāns. We prove that Shelah–Steprāns MAD families have very strong indestructibility properties: Shelah–Steprāns MAD families are indestructible for “many” definable forcings that does not add dominating reals. According to the author’s best knowledge, this is the strongest notion that has been considered in the literature so far. In spite of their strong indestructibility, Shelah–Steprāns MAD families can be destroyed by a ccc forcing that does not add unsplit or dominating reals. We also consider some strong combinatorial properties of MAD families and show the relationships between them.The fifth chapter is one of the most important chapters in the thesis. A MAD family $\mathcal {A}$ is called $+$ -Ramsey if every tree that branches into $\mathcal {I}\left $ -positive sets has an $\mathcal {I}\left $ -positive branch. Michael Hrušák’s first published question is the following: Is there a $+$ -Ramsey MAD family? It was previously known that such families can consistently exist. However, there was no construction of such families using only the axioms of ZFC. We solve this problem by constructing such a family without any extra assumptions.In the fourth and fifth chapters, we introduce several notions of MAD families, in the sixth chapter we prove several implications and non implications between them. We construct several MAD families with different properties.In the seventh chapter we build models without P -points. We show that there are no P -points after adding Silver reals either iteratively or by the side by side product. These results have some important consequences: The first one is that is its possible to get rid of P -points using only definable forcings. This answers a question of Michael Hrušák. We can also use our results to build models with no P -points and with arbitrarily large continuum, which was also an open question. These results were obtained with David Chodounský.prepared by Osvaldo Guzmán GonzálezE-mail : [email protected] : https://arxiv.org/abs/1810.09680. (shrink)

The principle of Sierpinski is the assertion that there is a family of functions $\left\{ {{\varphi _n}:{\omega _1} \to {\omega _1}|n \in \omega } \right\}$ such that for every $I \in {[{\omega _1}]^{{\omega _1}}}$ there is n ε ω such that ${\varphi _n}[I] = {\omega _1}$. We prove that this principle holds if there is a nonmeager set of size ω1 answering question of Arnold W. Miller. Combining our result with a theorem of Miller it then follows that is equivalent (...) to $non\left = {\omega _1}$. Miller also proved that the principle of Sierpinki is equivalent to the existence of a weak version of a Luzin set, we will construct a model where all of these sets are meager yet $non\left = {\omega _1}$. (shrink)

Postmodernity is a move ment that arose as a re sult of the cri sis of the dom i nant mo der nity, con front ing many of the great pro jects which ex - alted the do min ion and the power of man, and re - plac ing them with small ness, what is lo cal, and other al ter na tives. One of the most o..

In this contribution we suggest two simple contentions: i) that Saint Anselm’s ontological argument, as presented in the Proslogion, only makes sense if embedded in an ordered and bounded ontology; and ii) that an interpretation of the main premise of the argument, within such ontology, produces a dilemma that demands a new revision of the argument.

In this paper I firstly examine the contents of Escur. Φ III 11, which includes a medical section, an anthology of texts both sacred and profane, and the epistolar exchange between Gregorius Acindynus and Eirene Choumnos. Secondly I go through Eirene’s intellectual background and the books transcribed under her patronage. Thirdly I explain the role played by this Escurialensis in Eirene’s library and in the anti-Palamite circles. Fourthly, basing on different kinds of arguments, I attribute the copying of ff. 83r-156v (...) to Matthew Blastares. (shrink)

Professor Bunge makes the distinction between the logical concept of existence and the ontological one. I agree with him and in this paper I am formalizing his existence predicate into the powerful language of type theory.I am also proving the logical equivalence of this for mulation with a briefer one, which says that to exist conceptually is the same as to be a conceptual object. Accordingly, from this point on I investigate what conceptual objects are. I reach the conclusion that (...) it is better to study a restricted area each time, where existence could even be assigned in different degrees. For instance, in set theory -like in Animal Farm of Orwell every set exists but so me “exist more” than others. Of course, in relating degrees of existence to degrees of definability I am not following Bunge. (shrink)

We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha _a$\end{document} is an expression of any type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document}, as an expression of type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document} that rigidly returns the value that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha_a$\end{document} receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

El propósito de esta conferencia es el examen crítico de aspectos fundamentalesdel análisis filosófico, en las representativas vertientes de la prácticaanalítica del segundo Wittgenstein y la de dos de los más conspicuos analistas oxonienses: Ryle y Austin. Por razones de espacio, se centrará la discusión casi enteramente en el modelo wittgensteiniano, en la esperanza de que los resultados de aquélla sean claramente extensibles al otro modelo en todo lopertinente.Las principales metas perseguidas serán las de mostrar que el análisis filosófico no (...) puede (en absoluto, en algunas de las formas contempladas; sin restricciones, en otras) atribuirse, según los casos, las cualidades derivables de los desiderata de hacer a la filosofía i) puramente descriptiva; ii) esencial y efectivamente terapéutica; iii) no promotora de tesis filosóficas; y iv) dependiente,en sus raíces, de una exclusiva fuente de sapiencia lingüísticamenteinfusa, que es el lenguaje como depositario de lo que Moore (1972, p. 70)llamó "visión del mundo del sentido común"; una fuente a la que hay quedefender y usar sólo para rechazar las ilusiones de la filosofía, o para extraer elementos que contribuyan al desarrollo de doctrinas.Un recurso de los que se emplearán en esta breve exploración será un recordatorio, no precisamente entendido en sentido wittgensteiniano, del papelde la argumentación en el quehacer filosófico y de las modalidades que ellaadopta para contraponer la argumentación con los tipos de análisis mencionados,con miras a poner al descubierto las peculiaridades que interesa contemplar en esta oportunidad. (shrink)

Resumen El estudio del empleo de la palabra adelphos en el Nuevo Testamento en las últimas décadas ha tendido a un consenso donde se favorece la perspectiva literal en la cual se asocia a Jesús de Galilea “hermanos” carnales, según los testimonios de los textos griegos. Sin embargo, desde otra perspectiva como la antropología del parentesco y la historia social parental, los datos que atestigua el Nuevo Testamento no son unívocos y se interpelan a la luz de la estructura familiar (...) exogámica extendida -aspecto crucial- para señalar que los textos aportan datos e información, pero no son en sí la respuesta. A lo cual, se abre una perspectiva más rica en matices y aspectos del parentesco de Jesús y los lazos parentales en Galilea del siglo I d.C.The critical historical study of adelphos in recent decades has tended to a consensus thatfavors theperspective in which Jesus of Galilee is recogniged as “carnal brothers”, according to the testimonies of the Greek texts. However, from the parental anthropology and the social- parental history, the data attested by the new testament are not univocal and are addressed in the light of the extended exogamousfamily structure, a crucial aspect, to point out that the texts provide data and information, but they are not the answer in itself. To which, a richerperspective opens in nuances and aspects of the kinship of Jesus and the parental ties in Galilee of the 1st century AD. (shrink)

Durante todos estos años en que la práctica de la filosofía se ha convertido en un tema de discusión, la sugerencia bibliográfica ha sido uno de los temas más comunes, tanto por los que nos hemos dedicado a ella, como por los que sienten curiosidad y quieren ampliar su información. Pero, antes que nada debo hacer una pequeña advertencia. Los repertorios bibliográficos que se encuentran comúnmente vinculados a este tema suelen estar contaminados por la idea de que la práctica filosófica (...) es diferente de la filosofía teórica, o mejor dicho, de la práctica académica. Es por ello que, en la mayoría de las recomendaciones aparecen textos que a los académicos pueden causar repelús, y a los excesivamente prácticos también. Mi intención no es evitar el desagrado ni la sorpresa por ambas partes, creo que es necesario mantener esa capacidad de asombro y disconformidad propia de la filosofía. Por ello, los materiales que citaré y comentaré a continuación sólo deben servir como guía de perplejos y no cómo literatura definitiva –aunque si imprescindible. Esta recensión bibliográfica se ha nutrido de varias fuentes. La primera ha sido la recomendación de J. Barrientos en su libro Introducción al asesoramiento filosófico, la segunda, se la debo a un trabajo de recopilación bibliográfica realizado por Albert Balaguer como alumno del Master en Práctica Filosófica y Gestión Social, y la tercera es producto de mis propias pesquisas e investigaciones que me han llevado a evaluar y escoger algunos materiales poco conocidos por quienes se dedican a la práctica de la filosofía. The Babel of Philosophical Practice: some Bibliographical Suggestions Throughout all these years in which philosophical practice has become a topic of discussion, bibliographical suggestion has been one of the commonest topics, both for those of us who have devoted ourselves to it and for those who feel curiosity and want to increase their information. But, before anything else, a small warning is due. The bibliographical repertoires commonly linked to this topic use to be contaminated by the idea that philosophical practice is different from theoretical philosophy, or, rather, from academic practice. This is why in most suggestions there are texts that scholars –and those of an excessively practical vein as well- may find objectionable. It is not my aim to avoid neither the unpleasantness nor the surprise on either party; I believe it is necessary to maintain the ability to be surprised and in disagreement that is proper of philosophy. This is why the materials that I will quote, and comment on, should only be regarded as guide for the perplexed ones, rather than as definitive literature –although it is an indispensable one. This bibliographical review has got its raw materials from several sources. The first one has been J. Barrientos’s recommendation in his book Introduction to Philosophical Counseling; the second one I owe to a bibliographical compilation made by Albert Balaguer as a student of the Master in Philosophical Practice and Social Management; and the third is the product of my own investigations, which have led me to evaluate and select some materials which are little known by those who dedicate themselves to philosophical practice. (shrink)

Recent descendants of David Lewis, such as Stephen Torre, Dilip Ninan, and Dirk Kindermann have utilized multi-centered propositions, which are roughly sets of possible worlds centered on a sequence of individuals, to characterize the content of attitudes. In an attempt to explain counterfactual attitudes such as wishing and imagining, Ninan (2012, 2013) developed a more fine-grained characterization of multi-centered propositions than others in the multi-centered camp. While Ninan provides a systematic explanation of the nature of de se attitudes (attitudes one (...) expresses with first-person pronouns like ‘I’ or ‘me’), the nature of other types of indexical attitudes (attitudes one expresses with indexical terms like ‘you,’ ‘today,’ ‘now,’) is not explored. This paper does two things. First, it demonstrates how we can account for indexical attitudes within Ninan’s framework. This, however, has the consequence of generating propositions of limited accessibility of sorts, which in turn conflict with a received and simple model of linguistic communication. According to this simple model, successful communication consists of the transmission of mental content from speaker to hearer. Second, in light of this conflict, the paper proposes an adjustment to Ninan’s theory in order to avoid commitment to propositions of limited accessibility, and thus preserve the shareability of attitudinal content from speaker to hearer. (shrink)

We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {u}=\mathfrak {i}<\mathfrak {a}_T=\omega _2$. In addition, we show that Shelah’s poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {i}=\omega _1<\mathfrak {u}=\mathfrak {a}_T=\omega _2$.

The extent to which people anticipate and are influenced by the potential future consequences of their current behavior is called Consideration of Future Consequences. A well-established tool to measure this construct is the 14-item Consideration of Future Consequences Scale. The CFC-14 has shown appropriate psychometric properties in several languages. This scale comprises two factors: the CFC-Immediate and the CFC-Future. The main goal of this study was to assess the psychometric properties and internal consistency of the CFC-14 Scale in Spanish, using (...) an Argentine sample. A secondary goal was to determine its convergent validity with impulsivity, and determine differences across gender and age groups. Using a web-based survey, we collected data from 512 participants aged 13-74 years. Confirmatory Factor Analysis showed a 2-factor model as the best solution for 13-items version. Standardized regression weights ranged from.50 to.66 for CFC-F and between.43 and.83 for CFC-I. Composite reliability was also adequate: CFC-F achieve? =.80 and CFC-I? =.82. There were no differences across gender and age. The CFC-F subscale and UPPS-P subscales correlations, were negative and significant, highlighting the negative and moderate correlation between CFC-F and the lack of premeditation, a dimension strictly related to intertemporal decisions making. Thus, CFC-14 has adequate psychometric properties in an Argentinian population, although more studies are necessary to determine the robustness of these findings. (shrink)

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...) MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. (shrink)

En este artículo expongo las tres etapas del pensamiento de Vicent Martínez Guzmán: 1) la fenomenología lingüística, primero en estrecha conexión con Fernando Montero y John L. Austin, y luego transformada por la pragmática trascendental y la teoría de la acción comunicativa ; 2) la teoría filosófica de Europa, basada en Kant, Husserl, Ortega y Gasset y la Ética comunicativa o discursiva; y 3) la filosofía de la paz, que se convierte en una filosofía para hacer las paces, superando la (...) violencia, la guerra y las injusticia: una investigación interdisciplinar basada en la intersubjetividad con sentido ético y político.In this paper I set forth the three stages of Vicent Martínez Guzmán’s thought: 1) the Linguistic Phenomenology, first closely connected with Fernando Montero and John L. Austin, but later transformed by the Transcendental Pragmatics and the Theory of Communicative Action ; 2) the philosophical theory of Europe, based on Kant, Husserl, Ortega y Gasset and the communicative or discursive ethics; and 3) Philosophy of Peace that becomes in philosophy for making peace, overcoming violence, war and injustice: an interdisciplinary research based on intersubjectivity with ethical and political sense. (shrink)

Academics are confronted with multiple and conflicting narratives as to what it is to be an academic. Their identities, however, are not entirely of their own making. Through a qualitative study, and deploying a social realist perspective, this paper analyses academic identities in Chile and attempts to locate the patterns of identity in the context of a marketised higher education system. The data were collected in both a state and a private university. The results suggest that distinct kinds of fragilities (...) may be emerging among Chilean academics (ontological and contractual fragilities). These two fragilities can be traced to the attendant structures of the university system at an institutional level (reputational fragility in the public sector and a branding fragility in the private sector). The paper concludes by observing that, although the power of the structures is considerable, there are still spaces for agentic responses. (shrink)

La arqueología ha revelado recientemente la existencia de una importante revitalización urbana en Córdoba durante el Califato Almohade, apenas tratada hasta ahora por la historiografía, centrada principalmente en su pasado omeya. Por un lado, se ha observado una importante inversión del poder almohade en elementos defensivos y palatinos, acaso por tratarse en estas fechas de un centro fundamental en la conceptualización histórica de al-Andalus y en la lucha contra los reinos cristianos; por otro, se ha documentado un importante crecimiento orgánico (...) y privado extramuros. Todo ello coincidió con su elección como capital andalusí en 557/1162 por ‘Abd al-Mu’min, lo que suponía un hito fundamental para la legitimación de su nuevo califato. Tras su muerte pocos meses después, Abū Ya‘qūb Yūsuf hizo regresar la corte a Sevilla, creando un importante cambio de rumbo en la política almohade que no afectó al resurgir urbano de la antigua sede omeya. En realidad, Córdoba seguiría muy presente en la mentalidad colectiva andalusí durante el gobierno almohade, manteniéndose como referente principal del esplendor pasado y como núcleo esencial de la tradición mālikī. (shrink)

Se analiza la apuesta ontológica de Arturo Escobar a partir de dos formas en las que esta se expresa, para vislumbrar los alcances y limitaciones de esta concepción ontológica. La primera concepción radica en lo que el autor denomina ontología relacional y la segunda versa en la llamada ontología política. El texto está dividido en cuatro apartados, el primero introduce al lector a lo que representa la pregunta por el ser, haciendo hincapié en Martin Heidegger. El segundo expone brevemente el (...) contexto que se puede evidenciar en la apuesta académica del antropólogo colombiano a través del giro ontológico, desarrollado desde la antropología, en el que se destaca una crítica al paradigma occidental dualista naturaleza/cultura y, a su vez, de la teoría decolonial que denuncia a la Modernidad y la vigencia de la colonialidad de ser, para así poder comprender la propuesta de la ontología relacional de Escobar. El tercer apartado expresa desde las categorías de territorio y pluriverso una premisa fundamental: pensar lo político presupone una ontología, es decir, una visión de mundo sobre lo que es y está, de esta manera se articula el proyecto de la ontología desde la relacionalidad con luchas que reivindican los mundos y los derechos de las comunidades; en el cuarto y último apartado se exponen los alcances y límites de la ontología de Escobar, así como caminos posibles para considerar en investigaciones futuras. (shrink)

The Cooperative Extension System serves as the conduit through which scientific knowledge generated by the 130 land-grant colleges and universities in the United States is translated and delivered directly to its constituents. Since its inception over 100 years ago, Extension has been integral in developing, delivering, and applying cutting-edge knowledge in agriculture and natural resources, youth development, family and consumer sciences, and community and rural development. Today, more than ever, Extension will need to lead the way in building and maintaining (...) sustainable partnerships across disciplines and with organizations at the local, state, and national levels to tackle complex issues considering diminishing resources. Bringing together leading and emerging scholars, this volume discusses how Extension is addressing issues and opportunities relevant to children, youth, families, and communities across the country both now and in the future. Topics include Extension's role in supporting childcare, social media use, entrepreneurship, rural communities, and underserved audiences. (shrink)

The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.

This paper argues that epistemic errors rooted in group- or identity- based biases, especially those pertaining to disability, are undertheorized in the literature on medical error. After sketching dominant taxonomies of medical error, we turn to the field of social epistemology to understand the role that epistemic schemas play in contributing to medical errors that disproportionately affect patients from marginalized social groups. We examine the effects of this unequal distribution through a detailed case study of ableism. There are four primary (...) mechanisms through which the epistemic schema of ableism distorts communication between nondisabled physicians and disabled patients: testimonial injustice, epistemic overconfidence, epistemic erasure, and epistemic derailing. Measures against epistemic injustices in general and against schema-based medical errors in particular are ultimately issues of justice that must be better addressed at all levels of health care practice. (shrink)

Una escala de valores se puede definir mediante dos componentes: un conjunto de valores y una relación de orden. Estos dos componentes dan cuenta de algunas opiniones populares sobre las escalas de valores que favorecen una suerte de relativismo axiológico. En esta contribución proponemos una estrategia de reducción que nos permite aceptar dichos componentes sin necesariamente implicar un relativismo axiológico.

Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.